modal logic retrieval system

模态逻辑检索系统